﻿// Jinx AJAX Framework
// Copyright (C) 2008 Blake Hegerle
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

using System;
using System.IO;
using Formality.FormalSystem;
using Formality.Game;

namespace ConsoleClient
{
    class Program
    {
        static readonly TextWriter Writer = new LogicWriter(Console.Out);

        static void Main(string[] args)
        {
            var Engine = new Engine();
            var Player = new DurablePlayer<Proposition>("Blake");
            var ActiveGame = new ActiveGame<Proposition>(Engine, Player);

            Writer.Write("Formality\n");

            if (ActiveGame.Goal == null)
                ActiveGame.Submit("goto *2.01.");

            string Line;
            while ((Line = GetLine(ActiveGame)) != null)
            {
                try
                {
                    ActiveGame.Submit(Line);
                }
                catch (Exception e)
                {
                    Writer.Write(e);
                }
            }
        }

        private static string GetLine(ActiveGame<Proposition> ActiveGame)
        {
            Writer.Write(ActiveGame.ToString());
            Writer.Write("> ");

            return Console.In.ReadLine();
        }
    }
}
